Forschungsdatenbank der Universität in Tübingen

Logik und Sprachtheorie

Tel./ Fax.:

• Substrukturelle Logiken (1990-92)
• Erweiterungen des Logikprogrammierens (1990-92)
• Konnektionistische Inferenzsysteme (1990-92)

  ---

• Modellierung kognitiver Prozesse und logisches Schliessen (1993-94)
• Substrukturelle Logiken (1994-96)
• Nichtklassische Logiken und deren Komplexität (1994-96)
• Erweiterungen des Logikprogrammierens (1994-96)
• Konnektionistische Inferenzsysteme (1994-96)

HOME SUCHEN KONTAKT LINKS